Alexandroo and Scott Topologies for Generalized Ultrametric Spaces
نویسنده
چکیده
Both preorders and ordinary ultrametric spaces are instances of generalized ul-trametric spaces. Every generalized ultrametric space can be isometrically embedded in a (complete) function space by means of an ultrametric version of the categorical Yoneda Lemma. This simple fact gives naturally rise to: 1. a topology for generalized ultrametric spaces which for arbitrary preorders corresponds to the Alexandroo topology and for ordinary ultrametric spaces reduces to the-ball topology; 2. a topology for algebraic complete generalized ultrametric spaces generalizing both the Scott topology for arbitrary algebraic complete partial orders and the-ball topology for complete ultrametric spaces.
منابع مشابه
Generalized ultrametric spaces : completion , topology , and powerdomains via the Yoneda embedding
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces (Lawvere 1973, Rutten 1995). Combining Lawvere's (1973) enriched-categorical and Smyth' (1987, 1991) topological view on generalized (ultra)metric spaces, it is shown how to construct 1. completion, 2. topology, and 3. powerdomains for generalized ultrametric spaces. Restricted to the special...
متن کاملAlexandro and Scott Topologies for Generalized Metric Spaces
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroo ...
متن کاملGeneralized hyperstability of the cubic functional equation in ultrametric spaces
In this paper, we present the generalized hyperstability results of cubic functional equation in ultrametric Banach spaces using the fixed point method.
متن کاملOn Generalized Injective Spaces in Generalized Topologies
In this paper, we first present a new type of the concept of open sets by expressing some properties of arbitrary mappings on a power set. With the generalization of the closure spaces in categorical topology, we introduce the generalized topological spaces and the concept of generalized continuity and become familiar with weak and strong structures for generalized topological spaces. Then, int...
متن کاملCs - R 9636 1996
Generalized metric spaces are a common generalization of preorders and ordinary metric spaces (Lawvere 1973). Combining Lawvere's (1973) enriched-categorical and Smyth' (1988, 1991) topological view on generalized metric spaces, it is shown how to construct 1. completion , 2. topology, and 3. powerdomains for generalized metric spaces. Restricted to the special cases of preorders and ordinary m...
متن کامل